/*						-*- coding: utf-8 -*-
 * history.h	-- historique de lignes de commandes
 * 
 *           Author: Erick Gallesio [eg@unice.fr]
 *    Creation date: 20-May-2010 23:09 (eg)
 * Last file update: 28-May-2010 14:35 (eg)
 */

#ifndef HISTORY_H
#  define HISTORY_H
#  include <stdio.h>

#define HISTORY_DEFAULT_SIZE	100 	/* taille par défaut de l'historique */

/* init. de  l'historique. size est le nombre de lignes a conserver en mémoire */
void init_history(int size); 

/* afficher l'historique dans le fichier f */
void print_history(FILE *f); 

/* ajouter une ligne dans l'historique */
void add_history(const char *s); 

/* avance/reculer dans l'historique */
char *next_history(void); 
char *previous_history(void);


/* Notes: 
 *   - si la fonction init_history n'est pas applée par l'utilisateur, on se 
 *     débrouille pour construire un historique de taille HISTORY_DEFAULT_SIZE
 */
#endif
